- модальное пропозициональное исчисление
- Mathematics: modal propositional calculus
Универсальный русско-английский словарь. Академик.ру. 2011.
модальное пропозициональное исчисление
Смотреть что такое "модальное пропозициональное исчисление" в других словарях:
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
